Timed control for rectangular hybrid systems
نویسندگان
چکیده
منابع مشابه
Timed control for rectangular hybrid systems
In this work we develop an approach for the synthesis of the timed control of a class of hybrid systems modeled by rectangular hybrid automata. Our approach is within an automatic control view and is based on the reachable state spaces computation for any location. It consists of two steps, the first one being the computation of the control and the second being a step of the control propagation.
متن کاملA Comparison of Control Problems for Timed and Hybrid Systems
In the literature, we find several formulations of the control problem for timed and hybrid systems. We argue that formulations where a controller can cause an action at any point in dense (rational or real) time are problematic, by presenting an example where the controller must act faster and faster, yet causes no Zeno effects (say, the control actions are at times 0, 1 2 , 1, 1 1 4 , 2, 2 1 ...
متن کاملMaximal permissive timed control for a class of hybrid systems
A timed control synthesis approach is proposed for a class of hybrid systems modeled with rectangular hybrid automata. The control objective is to constrain the reachable state spaces by the addition of control specifications which can be inconsistent with the system dynamics. Our approach is within an automatic control view and is based on the offline computation of the system new transition g...
متن کاملDiscrete-Time Control for Rectangular Hybrid Automata
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automata where the plant state evolves continuously in real-numbered time, and the controller samples the plant state and changes the control state discretely, only at the integer points in time. We prove that rectangular hybrid automata have nite bisimilarity quotients when all c...
متن کاملSymbolic Model Checking for Rectangular Hybrid Systems
An important case of hybrid systems are the rectangular automata. First, rectangular dynamics can naturally and arbitrarily closely approximate more general, nonlinear dynamics. Second, rectangular automata are the most general type of hybrid systems for which model checking |in particular, Ltl model checking| is decidable. However, on one hand, the original proofs of decidability did not sugge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2012
ISSN: 1474-6670
DOI: 10.3182/20120523-3-ro-2023.00037